Operations on group subsets ↩

Metadata 
aliases: []
shorthands: {}
created: 2021-12-06 12:09:48
modified: 2022-01-10 04:13:04

is a group with a subset and an element .
Then we define the following operations on the subset as:

For and :

Associativity

Associativity is conserved with these operations.

Invertibility

In general: multiplication by one element only:

Note that and in general

Cardinality

Also, the "order"" remains the same: